Melvin C. Fitting
Raymond Smullyan
の指導教員としても知られる.